Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
131	To appear in the APA Newsletter on Philosophy and Computers, FallNo. 1, VolWhen Formal Systems Kill: Computer Ethics and Formal Methods Darren Abramson∗ Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2012-02-05 21:11:01 Computing Software engineering Formal methods Technology Theoretical computer science Software quality Software testing Product development Software verification Formal verification Computer science Software development process
132	Grounding Geographic Information Simon Scheider, Anusuriya Devaraju, Krzysztof Janowicz, Patrick Maue, Sven Schade, Carsten Keßler, Jens Ortmann, Mohamed Bishr, Tonio Fincke, Tobias Weigel and Werner Kuhn Institute for Add to Reading List Source URL: carsten.io Language: English - Date: 2013-09-07 23:22:39 Philosophy Cognitive science Metaphysics Ontology Information science Knowledge representation Technical communication Qualia Formal ontology Semantics Web Ontology Language Philosophy of perception
133	Formal Ontology and Principles of Knowledge Organization: An Axiomatic Approach Heinrich Herre Ontologies and Knowledge-Based Systems Research Group Onto-Med, IMISE Add to Reading List Source URL: www.isko-de.org Language: English - Date: 2015-03-15 09:44:28 Ontology Information science Semantic Web Technical communication Information Knowledge representation Knowledge Formal ontology Web Ontology Language Upper ontology Process ontology
134	A pipeline for biomedical ontology maintenance and release: current status and future requirements Carlo Torniai1, Matthew Brush1and Melissa Haendel1 1 Library and Department of Medical Informatics of Oregon Health & Sc Add to Reading List Source URL: www.carlotorniai.net Language: English* - Date: 2013-02-13 19:32:25 Ontology Information science Knowledge representation Semantic Web Technical communication Information Knowledge Upper ontology Formal ontology Web Ontology Language OBO Foundry Gene ontology
135	Towards Automatic Discovery of Deviations in Binary Implementations with Applications to Error Detection and Fingerprint Generation David Brumley, Juan Caballero, Zhenkai Liang, James Newsome, Dawn Song Carnegie Mellon U Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Mathematics Formal methods Edsger W. Dijkstra Predicate transformer semantics Errors and residuals Function Science and technology
136	Microsoft Word - Comp1.doc Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2010-09-20 15:32:22 Formal sciences Image processing Image segmentation Database Data mining Robot Computer vision Multimedia Science and technology Business Science
137	Microsoft Word - drastic_realizable.doc Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2014-06-13 15:41:29 Ontology Information science Semantic Web Technical communication Bioinformatics Information Philosophy Knowledge Upper ontology Formal ontology Basic Formal Ontology Robert Arp
138	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-11-02 19:53:10 Automated theorem proving Theoretical computer science Logic Mathematics Mathematical proofs Proof assistants Formal methods Formal verification KeY Isabelle Rippling Automated reasoning
139	InfoTraffic – Teaching Important Concepts of Computer Science and Math through Real-World Examples Ruedi Arnold Marc Langheinrich Add to Reading List Source URL: ruedi-arnold.com Language: English - Date: 2011-12-23 03:25:33 Logic Philosophy Mathematical logic Semantics Abstraction Formal sciences Operations research Educational psychology Educational technology False Propositional calculus Concept
140	PHENOMENAL DATA MINING: FROM DATA TO PHENOMENA John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:17:58 Marketing Business Professional studies Customer experience management E-commerce Customer Sales Data mining Customer intelligence Examples of data mining

UPDATE